" Bernhard Schätz" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods for Industrial Critical Systems (Lecture Notes in Computer Science)

Gwen Salaün, Bernhard Schätz (Editors)

3.65 Mb

#2

Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected ... / Programming and Software Engineering

Holger Giese, Gabor Karsai, Edward A. Lee, Bernhard Rumpe, Bernhard Schätz

6.27 Mb